1. A course on mathematical logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem

رده :
QA
9
.
S684C6
2013

2. A first course in fuzzy logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : Textbooks ، Neural networks )Computer science(,Textbooks ، Fuzzy logic

رده :
QA
76
.
87
.
N497
2006

3. A first journey through logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik

رده :
QA9
.
H52445
2019

4. Advanced mathematics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Differential equations, Partial.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,Mathematics.

رده :
QA37
.
3

5. Advanced mathematics :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;

6. An introduction to logical theory /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Language and logic, Textbooks.,Logic, Textbooks.,Langage et logique, Manuels d'enseignement supérieur.,Logique, Manuels d'enseignement supérieur.,Language and logic.,Logic.,Logik

رده :
BC15
.
Y36
2013

7. Argument and argumentation

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع : Textbooks ، Reasoning,، Fallacies )Logic(,، Critical thinking

رده :
BC
177
.
S2
2008

8. Bridge to abstract mathematics /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory

9. Discrete and decision

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)

موضوع : Mathematics -- Textbooks,Logic, Symbolic and mathematical

رده :
510
B655d

10. Einfuhrung in die Logik

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Logic -- Textbooks.,منطق -- کتاب‌های درس

رده :
BC114
.
B43
E35
2014

11. Formal logic :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : First-order logic, Textbooks.,First-order logic.

رده :
BC128
.
J43
2006

12. Formal logic :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Textbooks

رده :
BC135
.
H6913
2004

13. How to read and do proofs :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Textbooks,Proof theory, Textbooks

رده :
QA9
.
54
.
S65
2014

14. How to read and do proofs: an introduction to mathematical thought processes

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Textbooks ، Proof theory,Textbooks ، Logic, Symbolic and mathematical

رده :
QA
9
.
54
.
S65
2005

15. Introduction to logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)

موضوع : ، Logic- Textbooks

رده :
BC
108
.
C6I5
2004

16. Introduction to logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Textbooks ، Logic

رده :
BC
108
.
C69
2009

17. Introduction to logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Textbooks ، Logic

رده :
BC
108
.
C66I52
1994

18. Introduction to mathematical proofs :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Textbooks.,Proof theory, Textbooks.,Beweistheorie,Logic, Symbolic and mathematical.,Matematik.,Mathematik,Proof theory.

رده :
QA9
.
54
.
R63
2010

19. Introductory physics with algebra: mastering problem-solving

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Textbooks ، Mathematical physics,Textbooks ، Algebraic logic,Mathematics - Textbooks ، Problem solving

رده :
QC
20
.
7
.
A4
L68
2007

20. Logic and contemporary rhetoric :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Fallacies (Logic),Judgment (Logic),Mass media,Reasoning,Textbooks

رده :
BC177
.
C39
2010